Fault-tolerant Embedded Software Development Based on Components

The growing complexity makes more complicated the development of embedded software for control systems if a rigorous engineering approach towards embedded software development is not used, i.e. component-based design and verification of embedded software. Exhaustively checking of real-time behavior in embedded systems is computationally intractable, therefore assurance of services and safe system operation requires a combination of methods such as formal verification and fault-tolerant techniques, to statically check properties such as safety and temporal, or provide mechanisms for run-time monitoring and healing, by automatically examination of some possible failure scenarios.